61. Software technologies for embedded and ubiquitous systems
پدیدآورنده : Sang Lyul Min ... [et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing-- Distributed processing, Congresses,Embedded computer systems-- Programming, Congresses,Ubiquitous computing, Congresses
62. Towards a service-based Internet
پدیدآورنده : Witold Abramowicz ... [et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Human-computer interaction, Congresses,Internet, Congresses
رده :
TK5105
.
875
.
I57
S47
2011
63. Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
پدیدآورنده : Paul Callaghan...]et al.[, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
2277
64. Web Information Systems and Technologies :
پدیدآورنده : José Cordeiro, Joaquim Filipe (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Development, Congresses.,Internet, Congresses.,World Wide Web, Congresses.,Artificial Intelligence (incl. Robotics),Business Information Systems.,Computer Appl. in Administrative Data Processing.,Computer Science.,e-Commerce/e-business.,Information Systems Applications (incl. Internet),Application software-- Development.,Informatique.,Internet.,World Wide Web.
رده :
TK5105
.
875
.
I57
I58
2010
65. Web engineering :
پدیدآورنده : Maxim Bakaev, Flavius Frasincar, In-Young Ko (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software engineering, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Software engineering.,Web services.,World Wide Web.
رده :
TK5105
.
888
66. Web information systems engineering -- WISE 2018 :
پدیدآورنده : Hakim Hacid, Wojciech Cellary, Hua Wang, Hye-Young Paik, Rui Zhou (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information storage and retrieval systems, Congresses.,Software engineering, Congresses.,Web services, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Expert systems-- knowledge-based systems.,Information retrieval.,Information storage and retrieval systems.,Software engineering.,Web services.
رده :
TK5105
.
88813
67. Web reasoning and rule systems
پدیدآورنده : Markus Krötzsch, Umberto Straccia (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data structures (Computer science), Congresses,Logic programming, Congresses,Rule-based programming, Congresses,Semantic Web, Congresses
رده :
TK5105
.
88815
.
R8
2012eb
68. Web services -- ICWS 2019 :
پدیدآورنده : John Miller, Eleni Stroulia, Kisung Lee, Liang-Jie Zhang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Web databases, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Web databases.,Web services.,World Wide Web.
رده :
TK5105
.
88813
